Wed Apr 10 06:08:48 1996 Roland McGrath <roland@charlie-brown.gnu.ai.mit.edu>

	* make-dist: Exit if autoconf fails.

diff --git a/make-dist b/make-dist
index 949f6eadd48a91344a1c8e37c2d7a67fada6f986..401d7462fa40d0c95420a0467acc3536425d31af 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -133,7 +133,7 @@ rm -f /tmp/el /tmp/elc
 if [ "x`ls -t configure configure.in | head -1`" != "xconfigure" ]; then
   echo "\`./configure.in' is newer than \`./configure'" >&2
   echo "Running autoconf" >&2
-  autoconf
+  autoconf || { x=$?; echo Autoconf FAILED! >&2; exit $x; }
 fi
 
 ### Update getdate.c.